WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: LÓGICA MATEMÁTICA, LA LÓGICA MATEMÁTICA Es La ciencia de los principios de la validez formal de la inferencia y se ocupa de razonamientos como productos o resultados., SISTEMAS LÓGICOS Utiliza Pruebas, LEYES Son: *IDEMPOTENTES *ASOCIATIVAS *CONMUTATIVAS *DISTRIBUTIVAS *DE IDENTIDAD *COMPLEMENTO *DE MORGAN, Modelan realidades en las que hay afirmaciones, y éstas pueden ser ciertas o falsas Terminología: *Teorema:verdad demostrada. *Axioma:verdad asumida. *Reglas de inferencia:constituye un aparato deductivo que permite explicar que ciertas formulas son ciertas cuando algunas otras lo son. *Lema:teorema de importancia menor. *Corolario:aserción que se deduce fácilmente de un teorema. *Proposición:teorema , lema. *Conjetura:afirmación que se adivina cierta.Si se prueba,es un teorema., La estructura de las sentencias Tipos COMPUESTAS, La parte de la lógica que estudia las proporciones y símbolos utilizados en la formación de nuevas proposiciones podrán ser FALSAS, Un lenguaje formal Con el cual Se denotan los elementos de la realidad modelada., SISTEMAS FORMALES consta de: Un lenguaje deductivo, La ciencia de los principios de la validez formal de la inferencia y se ocupa de razonamientos como productos o resultados. Conformado por: SISTEMAS FORMALES, LEYES Cada una es Una tautología, LÓGICA PROPOSICIONAL Es La parte de la lógica que estudia las proporciones y símbolos utilizados en la formación de nuevas proposiciones, La ciencia de los principios de la validez formal de la inferencia y se ocupa de razonamientos como productos o resultados. Se clasifica en : LÓGICA DE PREDICADOS, Modelan realidades en las que hay afirmaciones, y éstas pueden ser ciertas o falsas También Se desea que los sistemas lógicos sean herramientas operacionales para el cálculo de la verdad de las fórmulas., La disciplina que se ocupa de las relaciones entre los signos y aquello que éstos designan, entre los signos y aquello de lo cual hablamos por medio de ellos. Permite: Definir las reglas para determinar el valor de verdad de una sentencia y se puede decidir si la fórmula es o no una verdad lógica a partir de un método de prueba semántico., SISTEMAS FORMALES consta de: Un lenguaje formal, Una sintaxis Indica: Cómo los símbolos pueden juntarse para constituir elementos del lenguaje., Definir las reglas para determinar el valor de verdad de una sentencia y se puede decidir si la fórmula es o no una verdad lógica a partir de un método de prueba semántico. Es La tabla de verdad, OPERADORES LÓGICOS Tales como:, *Alfabetos *Un leguaje sencillo *Gramáticas *Nat y SNat *Números binarios Utiliza La semántica, Formadas por dos ó más proposiciones simples. Unidas por: OPERADORES LÓGICOS